Minimization of Finite State Machines 1 Miroslava

Minimization of Finite State Machines1

We have formalized deterministic finite state machines closely following the textbook [10], pp. 88–119 up to the minimization theorem. In places, we have changed the approach presented in the book as it turned out to be too specific and inconvenient. Our work also revealed several minor mistakes in the book. After defining a structure for an outputless finite state machine, we have derived the ...

Restricted cascade and wreath products of fuzzy finite switchboard state machines

A finite switchboard state machine is a specialized finite state machine. It is built by binding the concepts of switching state machines and commutative state machines. The main purpose of this paper is to give a specific algorithm for fuzzy finite switchboard state machine and also, investigates the concepts of switching relation, covering, restricted cascade products and wreath products of f...

Symbolic cover minimization of fully I/O specified finite state machines

Symbolic cover minimization is an important step within a well-known state-assignment technique for finite state machines (FSM’s) 121. Currently, multiple-valued-input logic minimization techniques are used to find a minimum symbolic cover. The former problem, however, is computationally intractable, so heuristics are used. We show a simplified technique, based on an extension of the FSM minimi...

Symbolic Hazard-Free Minimization and Encoding of Asynchronous Finite State Machines

Test Suite Minimization for Embedded Nondeterministic Finite State Machines

This paper presents a method for minimizing test suites for embedded, nondeterministic Finite State Machines. The method preserves the fault coverage of the original test suite, and can be used in conjunction with any technique for generating test suites. The minimization is achieved by detecting and deleting redundant test cases in the test suite. The proposed method is an extension of the wor...